axiom of pairing

[数] 无序对子公理